University of Bergen - PDFSEARCH.IO - Document Search Engine

University of Bergen
Results: 382

#	Item
31	Compliance Games Piotr Ka´zmierczak Dept. of Computing, Mathematics and Physics Bergen University College, Norway Add to Reading List Source URL: piotrkazmierczak.com Language: English - Date: 2016-06-02 10:18:37 Game theory Symbol Modal logic Core Cooperative game
32	MASTER OF SCIENCE Marine Ecosystem Management and Climate Change Multidiciplinary Masters degree programme in Marine Ecosystem Management and Climate Change is offered at Nha Trang University. The programme is of high qu Add to Reading List Source URL: www.apn-gcr.org Language: English - Date: 2014-10-20 20:59:51 Nha Trang Khanh Hoa Province Khnh Ha Province Marine ecosystem Trang Thailand University of Bergen Trang
33	U-Multirank today Position paper of the Coimbra Group Member Universities Aarhus (DK) Barcelona (ES) Bergen (NO) Add to Reading List Source URL: coimbra-group.eu Language: English - Date: 2016-01-28 11:59:05 Coimbra Lazarski University College and university rankings
34	Member universities of the Coimbra Group 1. Aarhus Universitet, Denmark 2. Universitat de Barcelona, Spain 3. Universitet i Bergen, Norway 4. Università degli Studi di Bologna, Italy 5. University of Bristol, United Kin Add to Reading List Source URL: coimbra-group.eu Language: English - Date: 2016-06-15 13:04:28 Polytechnic School of the University of So Paulo University of So Paulo European History Network
35	Reflections on Courses for Software Language Engineering Anya Helene Bagge1 , Ralf Lämmel2 , and Vadim Zaytsev3 Bergen Language Design Laboratory, University of Bergen, Norway Software Languages Team, University of Kobl Add to Reading List Source URL: models2014.webs.upv.es Language: English - Date: 2014-09-22 10:28:27 Compiler construction Formal languages Parsing Programming language implementation Parser generators Syntax Compiler LR parser Scannerless parsing XPL PLY Model-driven engineering
36	Presented at AoIR 5.0, Brighton, September 21, 2004 by Jill Walker, Dept of Humanistic Informatics, University of Bergen, Norway. – http://huminf.uib.no/~jill Distributed Narrative: Telling Stories A Add to Reading List Source URL: jilltxt.net Language: English - Date: 2011-11-10 15:50:19 Software Visual arts Fiction Language Narratology Composition Narrative Semiotics Andre the Giant Has a Posse Sticker Hypertext Line
37	Oberseminar Analysis und Theoretische Physik Prof. Dr. Irina Markina, University of Bergen, Norway Sub-Riemannian geometry on infinite dimensional manifolds We start from the definition of an infinite-dimensional manifol Add to Reading List Source URL: www.ifam.uni-hannover.de Language: English - Date: 2015-06-16 03:29:08
38	Alternating-time Temporal Logics with Irrevocable Strategies Agotnes Thomas ˚ Dept. of Computer Engineering Bergen University College, Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-05-18 19:37:50 Logic Mathematical logic Model theory Mathematics Formal languages Linear temporal logic Temporal logic Symbol Substitution Interpretation Structure Constructible universe
39	Compliance Games Piotr Ka´zmierczak Dept. of Computing, Mathematics and Physics Bergen University College, Norway Add to Reading List Source URL: piotrkazmierczak.com Language: English - Date: 2016-03-21 14:53:31
40	What will they say? – Public Announcement Games Thomas ˚ Agotnes∗ Department of Information Science and Media Studies, University of Bergen, P.O. Box 7802, N-5020 Bergen, Norway, Add to Reading List Source URL: folk.uib.no Language: English - Date: 2010-07-02 04:54:56 Logic Modal logic Philosophy Formal epistemology Abstraction Artificial intelligence Non-classical logic Philosophical logic Dynamic epistemic logic Common knowledge Epistemic modal logic Kripke semantics